English technique for demonstrating theorems: перевод на другие языки